# Tanım: standart ML derleyicisinin güncel gerçeklemesi
# URL: http://www.polyml.org
# Paketçi: milisarge
# Gerekler: libffi
# Grup: geliştirme

isim=polyml
surum=5.7
devir=1
kaynak=(https://github.com/${isim}/${isim}/archive/v${surum}.tar.gz::$isim-$surum.tar.gz)

derle() {
  cd "$SRC/$isim-$surum"
  ./configure --prefix=/usr --without-x --with-system-libffi --with-gmp --enable-shared
  make
  make -k check
  make DESTDIR="$PKG/" install
}
